Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
341	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
342	eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp Add to Reading List Source URL: www.factory-in-a-day.eu Language: English - Date: 2015-03-26 05:06:07 Computer programming Mathematical optimization Constraint satisfaction Operations research Quadratic programming Slack variable Ada Constraint Composite Graph Constraint logic programming Constraint programming Software engineering Computing
343	44 Case study: QTronic Problem solver Automated testing of transmission control software is never easy, but there’s a product on the market that helps transmission designers and car makers to ensure that no serious b Add to Reading List Source URL: www.qtronic.de Language: English - Date: 2011-11-15 03:34:57 Cross-platform software Mathematical modeling Simulation software Simulink Application software Test engineer Hardware-in-the-loop simulation TPT Software Manufacturing Electronics manufacturing
344	SCIEnce: The Project Software Composability Symbolic computing on Grid User training and knowledge dissemination SCIEnce : Add to Reading List Source URL: www-circa.mcs.st-and.ac.uk Language: English - Date: 2009-08-13 06:52:04 Cross-platform software Functional languages Grid computing Symbolic computation Mathematica Composability Research Institute for Symbolic Computation Service-oriented architecture Maple Software Mathematical software Computing
345	In Search of Near-Optimal Optimization Phase Orderings Jack W. Davidson Prasad A. Kulkarni David B. Whalley Gary S. Tyson Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2006-04-21 21:27:23 Programming language implementation Mathematical optimization Computer performance Software optimization Program optimization Inline expansion Genetic algorithm Algorithm Loop tiling Computing Software Compiler optimizations
346	Sage Reference Manual: Databases Release 6.7 The Sage Development Team June 24, 2015 Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Computing Analytic number theory Mathematical software Sage Number theory Elliptic curve SQL Birch and Swinnerton-Dyer conjecture Curve Mathematics Software Relational database management systems
347	Sage Reference Manual: Sat Release 6.7 The Sage Development Team June 24, 2015 Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Operations research Mathematical optimization Numerical software Computer file formats Sage Lis Nl Solver Sol Mathematical software Software Theoretical computer science
348	Voyage Calculator Voyage Calculator Voyage Planning to Succeed AWT’s Voyage Calculator is a premier tool designed to give those involved in voyage planning a reasonable estimate of the cost of a voyage that takes hire Add to Reading List Source URL: www.awtworldwide.com Language: English - Date: 2015-05-28 09:53:40 Mathematics Technology Navigation Mathematical notation Software calculator Business Passage planning Voyage Calculators Office equipment Mathematical software
349	Pmac O OPmac – A powerful lightweight plain TEX package http://petr.olsak.net/opmac-e.html Do you use plain TEX or LATEX for your mathematical texts? Plain TEX is much more simple. And Add to Reading List Source URL: math.feld.cvut.cz Language: English - Date: 2015-05-05 09:55:26 Digital typography Typography LaTeX Application software Software TeX
350	Analytica Bio-Energy Corp. enters Phase Two with the Environmental Protection Bureau, (EPA) Liaoning Province, China. TAIPEI, TAIWAN, November 17, 2014 – Analytica Bio-Energy, Corp. (ABEC 0TCQB) (The Company) is please Add to Reading List Source URL: www.analyticabioenergy.com Language: English - Date: 2014-12-03 10:26:41 Analytica Mathematical optimization Numerical software Operations research Forward-looking statement United States Environmental Protection Agency Wastewater Mathematical software Science Statistics

UPDATE